Biblioteca do ISEL

Your cart is empty.

Biblioteca do ISEL

Your search returned 2 results. Subscribe to this search

Unhighlight Highlight
|
Mathematical logic : a course with exercices : part I: propositional calculus, boolean algebras, predicate calculus / René Cori, Daniel Lascal ; trad. Donald H. PelletierPublication: Oxford : University Press, 1993Description: XIX, 338 p. ; 24 cm.Availability: Items available for loan: [COR. 517] (1).

Place hold Add to cart
Mathematical logic : a course with exercices : part II: recursion theory, Gödel's theorems, set theory, model theory / René Cori, Daniel Lascar ; trad. Donald H. PelletierPublication: Oxford : University Press, 2001Description: XX, 331 p. ; 24 cm.Availability: Items available for loan: [COR. 517] (1).

Place hold Add to cart

Informática-ISEL